Build Result
Build-Date:
2024-03-26 18:22:45.287 +0100
"Tutorial Printer Problems"
(ArticleHasErrors):
SUCCESS
"Tutorial Printer Testcases/No power on printer" "Tutorial Printer Problems"
(TestCase):
SUCCESS
"Tutorial Printer Testcases/Unconnected printer" "Tutorial Printer Problems"
(TestCase):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:CombinedFlowRuleAbstraction):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:CombinedFlowRuleSolution):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:NoAutostart):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:UnusedNode):
SUCCESS
"Tutorial Printer Problems"
(DiaFlux:UnusedFlow):
SUCCESS